Programming Languages for Production Controllers
نویسنده
چکیده
An analysis of production control tasks is given, in order to derive requirements for a language for programming production controllers The programming of the controllers is divided into two related tasks: the specification of the controller environment (the description of the capabilities of the agents that the controller can use to make products and the description of how products must be produced), and specification of the internal control tasks like scheduling and command dispatching Three temporal operators are introduced to describe the ordering of processing steps.
منابع مشابه
A Psychological Model of Air Traffic Control and Its Implementation
In this paper, we describe a model of en-route air traffic controllers' cognitive activities in a dynamic man-machine system. The implementation of the model MoFl (Modell der Fluglotsenleistungen) is based on a production system in the programming language ACT-R (Adaptive Control of Thought Rational, Anderson, 1993).
متن کاملMiddleware based on XML technologies for achieving true interoperability between PLC programming tools
Industrial Process Measurement and Control Systems are used in most of the industrial sectors to achieve production improvement, process optimization and time and cost reduction. Integration, reuse, flexibility and optimization are demanded to adapt to a rapidly changing and competitive market. In fact, standardization is a key goal to achieve these goals. The international standardization effo...
متن کاملTowards the conformance Analysis of IEC 61131-3 PLC Programming Tools
Industrial Process Measurement and Control Systems are used in most of the industrial sectors to achieve production improvement, process optimization and time and cost reduction. Integration, reuse, flexibility and optimization are demanded to adapt to a rapidly changing and competitive market. In fact, standardization is a key goal to achieve these goals. The international standardization effo...
متن کاملReplication of IEC 61499 Applications
PLCs (Programmable Logical Controllers) are embedded computers built specifically for the industrial environment, and used for the automation of industrial processes. These systems are typically programmed using programming languages defined in the IEC 61131-3 standard (this includes 2 textual and 3 graphical programming languages). IEC 61131-3 however only considers PLCs working in isolation. ...
متن کاملA language for compositional specification and verification of finite state hardware controllers
SML is a language for describing complexfinite state hardware controllers. I t provides many of the standard control structures found in modern programming languages. The state tables produced by the SML compiler can be used as input to a temporal logic model checker that can automatically determine whether a specification in the logic CTL is satisfied. We describe extensions to SML for the des...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002